PEMBANGUNAN SANITASI TEMPAT MCK KOMUNAL DI DESA URUG, BOGOR, JAWA BARAT

JaWa: Java with Assertions

MCK: Model Checking the Logic of Knowledge

Introduction: The specification formalism employed in model checking is usually some flavour of temporal or process algebraic language that expresses properties of the behavioural aspects of a system. Knowledge [5] is a modality that is orthogonal to the behavioural dimension, capturing properties of information flow. Logics of knowledge have been shown to be a useful framework for the analysis...

MCK : Wireless Communication with Mobile Agents

In mobile computing, a computer which in 1970 filled several large rooms, has been reduced in size so that it is now slips neatly into your pocket or is bound to your wrist. It has taken the last decade for this feat of engineering to come to fruition. Meanwhile, we have also experienced many evolutions and revolutions in the software systems and communication fields. The most dramatic of these...

The Viral Chemokine MCK-2 of Murine Cytomegalovirus Promotes Infection as Part of a gH/gL/MCK-2 Complex

Human cytomegalovirus (HCMV) forms two gH/gL glycoprotein complexes, gH/gL/gO and gH/gL/pUL(128,130,131A), which determine the tropism, the entry pathways and the mode of spread of the virus. For murine cytomegalovirus (MCMV), which serves as a model for HCMV, a gH/gL/gO complex functionally homologous to the HCMV gH/gL/gO complex has been described. Knock-out of MCMV gO does impair, but not ab...

Pemanfaatan Teknologi Sistem Informasi Geografis Untuk Menunjang Pembangunan Daerah

The territory development will depend on that territory itself, where the word of autonomy for each province or territory will give contribution how Indonesian will responsible for development their territory. In order to develop territory, the information technology can be used as a boost or tools to give and deliver the best information and Geographic Information System is one of the informat...